Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Île-de-France563
Véronique Cortier138
Île-de-France Sauf Véronique Cortier" 560
Véronique Cortier Sauf Île-de-France" 135
Île-de-France Et Véronique Cortier 3
Île-de-France Ou Véronique Cortier 698
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
001726 Véronique Cortier [France] ; Ben Smyth [France]Attacking and fixing Helios: An analysis of ballot secrecy
003095 Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
003B86 Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022